101. Poceedings of the Fifth ACM International Conference on Embedded Software : EMsoft, September 19-22, 2005, Jersey City, New Jersey, USA
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
76
.
D47E57
2005
102. Proceedings of FMSP'00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA'00
پدیدآورنده : edited by Mats P. E. Heimdahl; sponsored by ACM SIGSOFT
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
D47W64
2000
103. Proceedings of fifth International workshop on Rapid system prototyping
پدیدآورنده : / Sponsored by IEEE computer society Technical committe on Simulation, IEEE computer society Technical committe on test Technology, Association for computing Machinery SIGSIM, workshop editor: Bernard Coutois, program chair and proceedings editor : Nick Kanopoulous
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : System design - congresses,Computer software - Development - congresses
رده :
QA
76
.
9
.
S88I3245
1994
104. Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'04, June 7-8, 2004, Washington, DC, USA
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2004
105. Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering: PASTE'01: Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
A345
2001
106. Proceedings of the 2001 ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'01, Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, and Special Interest Group on Software Engineering
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2001
107. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments : Boston, Massachusetts, November 28-30, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Software engineering-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
7
.
S54
vol
.
24
,
no
.
2
108. Proceedings of the first International Workshop on Model-Driven Interoperability (MDI 2010)
پدیدآورنده : editors Jean Bézivin, Richard Mark Soley, Antonio Vallecillo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
109. Proceedings of the 23th International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
I5
2001
110. Proceedings of the 5th International Software Process Workshop " Experience with software process models" Kennebunkport, Maine USA October 10-13, 1989
پدیدآورنده : / Sponsored by: Rocky Mountain Institute of Software Engineering : editor : Dewayne E. Perry,internationl Software Process Workshop
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer software-- Development -- Congresses
رده :
QA
76
.
76
.
D47
1989
111. Proceedings : shortening the path from specification to prototype
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System design-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
9
.
S88
.
I583
112. Product-Focused Software Process Improvement
پدیدآورنده : \ [edited by] Pekka Abrahamsson...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,نرم‌افزار -- تولید -- مدیریت -- کنگره ها
رده :
QA
76
.
758
.
P7
2015
E-Book
,
113. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
114. Product focused software process improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005; proceedings
پدیدآورنده : Frank Bomarius, Seija Komi-Sirvio )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development,Quality control -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3547
115. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
116. RSP 2004: 15th IEEE International Workshop on Rapid Systems Prototyping: proceedings: 28-30 June, 2004, Geneva, Switzerland
پدیدآورنده : ]sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society technical Committee on Design Automation[
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer simulation,Congresses ، Computer software - Development,Congresses ، Prototypes, Engineering
رده :
QA
76
.
9
.
S88
I583
2004
117. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
118. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses. ;
119. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
120. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
